Pezze, M.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Quantum metrology with nonclassical states of atomic ensembles

Pezzè, Luca, Smerzi, Augusto, Oberthaler, Markus K., Schmied, Roman, Treutlein, Philipp

Journal:

Review of Modern Physics

Year:

2018

Language:

english

File:

PDF, 7.58 MB

english, 2018

2

A Dynamic Network Model of mTOR Signaling Reveals TSC-Independent mTORC2 Regulation

Dalle Pezze, P., Sonntag, A. G., Thien, A., Prentzell, M. T., Godel, M., Fischer, S., Neumann-Haefelin, E., Huber, T. B., Baumeister, R., Shanley, D. P.

Journal:

Science Signaling

Year:

2012

Language:

english

File:

PDF, 3.47 MB

english, 2012

3

Fisher information and multiparticle entanglement

Hyllus, Philipp, Laskowski, Wiesław, Krischek, Roland, Schwemmer, Christian, Wieczorek, Witlef, Weinfurter, Harald, Pezzé, Luca, Smerzi, Augusto

Journal:

Physical Review A

Year:

2012

Language:

english

File:

PDF, 419 KB

english, 2012

4

Mach-Zehnder Interferometry at the Heisenberg Limit with Coherent and Squeezed-Vacuum Light

Pezzé, Luca, Smerzi, Augusto

Journal:

Physical Review Letters

Year:

2008

Language:

english

File:

PDF, 309 KB

english, 2008

5

A technique for designing robotic control systems based on Petri nets

Caloini, A., Magnani, G., Pezze, M.

Journal:

IEEE Transactions on Control Systems Technology

Year:

1998

Language:

english

File:

PDF, 435 KB

english, 1998

6

Sub shot-noise interferometric phase sensitivity with beryllium ions Schrödinger cat states

Pezzé, L, Smerzi, A

Journal:

EPL (Europhysics Letters)

Year:

2007

Language:

english

File:

PDF, 435 KB

english, 2007

7

Optimal measurements in phase estimation: simple examples

Wasak, Tomasz, Smerzi, Augusto, Pezzé, Luca, Chwedeńczuk, Jan

Journal:

Quantum Information Processing

Year:

2016

Language:

english

File:

PDF, 674 KB

english, 2016

8

Essays on Boredom and Modernity ||

Pezze, Barbara, Salzani, Carlo

Year:

2009

Language:

english

File:

PDF, 1.91 MB

english, 2009

9

High-Level Timed Petri Nets as a kernel for executable specifications

Miguel Felder, Carlo Ghezzi, Mauro Pezzé

Journal:

Real-Time Systems

Year:

1993

Language:

english

File:

PDF, 978 KB

english, 1993

10

Healing Web applications through automatic workarounds

Antonio Carzaniga, Alessandra Gorla, Mauro Pezzè

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2008

Language:

english

File:

PDF, 375 KB

english, 2008

11

Improving UML with Petri nets

Luciano Baresi, Mauro Pezzè

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 160 KB

english, 2001

12

Symbolic execution of concurrent systems using Petri nets

Carlo Ghezzi, Dino Mandrioli, Sandro Morasca, Mauro Pezzè

Journal:

Computer Languages

Year:

1989

Language:

english

File:

PDF, 1.29 MB

english, 1989

13

Phase sensitivity of a Mach-Zehnder interferometer

Pezzé, Luca, Smerzi, Augusto

Journal:

Physical Review A

Year:

2006

Language:

english

File:

PDF, 325 KB

english, 2006

14

Potential Cancer Chemopreventive Constituents of the Seeds of Dipteryx o dorata (Tonka Bean)

Jang, Dae Sik, Park, Eun Jung, Hawthorne, Michael E., Vigo, Jose Schunke, Graham, James G., Cabieses, Fernando, Santarsiero, Bernard D., Mesecar, Andrew D., Fong, Harry H. S., Mehta, Rajendra G., Pezz

Journal:

Journal of Natural Products

Year:

2003

Language:

english

File:

PDF, 95 KB

english, 2003

15

[IEEE 2012 IEEE International Conference on Software Maintenance (ICSM) - Trento, Italy (2012.09.23-2012.09.28)] 2012 28th IEEE International Conference on Software Maintenance (ICSM) - From off-Line to continuous on-line maintenance

Year:

2012

Language:

english

File:

PDF, 56 KB

english, 2012

16

Sub-Heisenberg phase uncertainties

Journal:

Physical Review A

Year:

2013

Language:

english

File:

PDF, 975 KB

english, 2013

17

Constituents of Musa × paradisiaca Cultivar with the Potential To Induce the Phase II Enzyme, Quinone Reductase

Jang, Dae Sik, Park, Eun Jung, Hawthorne, Michael E., Vigo, Jose Schunke, Graham, James G., Cabieses, Fernando, Santarsiero, Bernard D., Mesecar, Andrew D., Fong, Harry H. S., Mehta, Rajendra G., Pezz

Journal:

Journal of Agricultural and Food Chemistry

Year:

2002

Language:

english

File:

PDF, 79 KB

english, 2002

18

Fisher information and entanglement of non-Gaussian spin states

Strobel, H., Muessel, W., Linnemann, D., Zibold, T., Hume, D. B., Pezze, L., Smerzi, A., Oberthaler, M. K.

Journal:

Year:

2014

Language:

english

File:

PDF, 3.00 MB

english, 2014

19

Automatic test case evolution

Mirzaaghaei, Mehdi, Pastore, Fabrizio, Pezzè, Mauro

Journal:

Software Testing, Verification and Reliability

Year:

2014

Language:

english

File:

PDF, 3.31 MB

english, 2014

20

Phase Detection at the Quantum Limit with Multiphoton Mach-Zehnder Interferometry

Pezzé, L., Smerzi, A., Khoury, G., Hodelin, J. F., Bouwmeester, D.

Journal:

Physical Review Letters

Year:

2007

Language:

english

File:

PDF, 301 KB

english, 2007

21

[IEEE Sixth IEEE International Symposium on a World of Wireless Mobile and Multimedia Networks - Taormina-Giardini Naxos, Italy (13-16 June 2005)] Sixth IEEE International Symposium on a World of Wireless Mobile and Multimedia Networks - Adaptive Runtime Verification for Autonomic Communication Infrastructures

Denaro, G., Mariani, L., Pezze, M., Tosi, D.

Year:

2005

Language:

english

File:

PDF, 82 KB

english, 2005

22

Test-and-adapt

Denaro, Giovanni, Pezzè, Mauro, Tosi, Davide

Journal:

ACM Transactions on Software Engineering and Methodology

Year:

2013

Language:

english

File:

PDF, 3.80 MB

english, 2013

23

Graph models for reachability analysis of concurrent programs

Pezzè, Mauro, Taylor, Richard N., Young, Michal

Journal:

ACM Transactions on Software Engineering and Methodology

Year:

1995

Language:

english

File:

PDF, 2.86 MB

english, 1995

24

[ACM Press the 2008 international workshop - Leipzig, Germany (2008.05.12-2008.05.13)] Proceedings of the 2008 international workshop on Software engineering for adaptive and self-managing systems - SEAMS '08 - Self-healing by means of automatic workarounds

Carzaniga, Antonio, Gorla, Alessandra, Pezzè, Mauro

Year:

2008

Language:

english

File:

PDF, 294 KB

english, 2008

25

[ACM Press the eighteenth ACM SIGSOFT international symposium - Santa Fe, New Mexico, USA (2010.11.07-2010.11.11)] Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering - FSE '10 - Automatic workarounds for web applications

Carzaniga, Antonio, Gorla, Alessandra, Perino, Nicolò, Pezzè, Mauro

Year:

2010

Language:

english

File:

PDF, 518 KB

english, 2010

26

Automatic Workarounds

Carzaniga, Antonio, Gorla, Alessandra, Perino, Nicolò, Pezzè, Mauro

Journal:

ACM Transactions on Software Engineering and Methodology

Year:

2015

Language:

english

File:

PDF, 9.77 MB

english, 2015

27

Readers Write

Barb Pezze, Kent Hite and Barry D. Cohen

Journal:

Mathematics Teaching in the Middle School

Year:

2002

Language:

english

File:

PDF, 508 KB

english, 2002

28

Efficient entanglement criteria for discrete, continuous, and hybrid variables

Gessner, Manuel, Pezzè, Luca, Smerzi, Augusto

Journal:

Physical Review A

Year:

2016

Language:

english

File:

PDF, 248 KB

english, 2016

29

Cognitive deficits caused by prefrontal cortical and hippocampal neural disinhibition

Bast, Tobias, Pezze, Marie, McGarrity, Stephanie

Journal:

British Journal of Pharmacology

Year:

2017

Language:

english

File:

PDF, 1.09 MB

english, 2017

30

[IEEE 2018 IEEE 11th International Conference on Software Testing, Verification and Validation (ICST) - Västerås, Sweden (2018.4.9-2018.4.13)] 2018 IEEE 11th International Conference on Software Testing, Verification and Validation (ICST) - Localizing Faults in Cloud Systems

Mariani, Leonardo, Monni, Cristina, Pezze, Mauro, Riganelli, Oliviero, Xin, Rui

Year:

2018

Language:

english

File:

PDF, 394 KB

english, 2018

31

[IEEE 2019 IEEE/ACM 41st International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER) - Montreal, QC, Canada (2019.5.25-2019.5.31)] 2019 IEEE/ACM 41st International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER) - Energy-Based Anomaly Detection A New Perspective for Predicting Software Failures

Monni, Cristina, Pezze, Mauro

Year:

2019

Language:

english

File:

PDF, 84 KB

english, 2019

32

Validating timing requirements for time basic net specifications

Carlo Ghezzi, Sandro Morasca, Mauro Pezzè

Journal:

Journal of Systems and Software

Year:

1994

Language:

english

File:

PDF, 2.21 MB

english, 1994

33

Preface

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 68 KB

english, 2005

34

An Introduction to Software Testing

Luciano Baresi, Mauro Pezzè

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 314 KB

english, 2006

35

A Technique for Verifying Component-Based Software

Leonardo Mariani, Mauro Pezzè

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 362 KB

english, 2005

36

PLCTOOLS: Graph Transformation Meets PLC Design

Luciano Baresi, Marco Mauri, Mauro Pezzè

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 56 KB

english, 2002

37

Preface: Volume 50, Issue 3

Luciano Baresi, Mauro Pezze, Gabriele Taentzer

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 40 KB

english, 2001

38

Preface: Volume 82, Issue 6

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 41 KB

english, 2003

39

Timed high-level nets

Sandro Morasca, Mauro Pezze, Marco Trubian

Journal:

Real-Time Systems

Year:

1991

Language:

english

File:

PDF, 1.23 MB

english, 1991

40

Giving semantics to SA/RT by means of high-level timed Petri nets

René Elmstrøm, Raino Lintulampi, Mauro Pezzé

Journal:

Real-Time Systems

Year:

1993

Language:

english

File:

PDF, 1.53 MB

english, 1993

41

Remediation of attentional dysfunction in rats with lesions of the medial prefrontal cortex by intra-accumbens administration of the dopamine D2/3receptor antagonist sulpiride

Marie A. Pezze, Jeffrey W. Dalley, Trevor W. Robbins

Journal:

Psychopharmacology

Year:

2009

Language:

english

File:

PDF, 248 KB

english, 2009

42

Introduction to the special section on FASE 2003

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2007

Language:

english

File:

PDF, 50 KB

english, 2007

43

Enhancing structural software coverage by incrementally computing branch executability

Mauro Baluda, Pietro Braione, Giovanni Denaro, Mauro Pezzè

Journal:

Software Quality Journal

Year:

2011

Language:

english

File:

PDF, 1.41 MB

english, 2011

44

QUACK: A Platform for the Quality of New Generation Integrated Embedded Systems

Mauro Pezzè, Andrea Baldini, Giovanni Denaro, Giuseppe Lipari, Matteo Rossi, Davide Rogai

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 438 KB

english, 2005

45

Petri Nets as Semantic Domain for Diagram Notations

Luciano Baresi, Mauro Pezzè

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 276 KB

english, 2005

46

Design for Testability for Highly Reconfigurable Component-Based Systems

Andrea Baldini, Paolo Prinetto, Giovanni Denaro, Mauro Pezzè

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 152 KB

english, 2003

47

LEMMA: A Language for Easy Medical Models Analysis

Luciano Baresi, Fabrizio Consorti, Manuele Di Paola, Antonio Gargiulo, Mauro Pezzè

Journal:

Journal of Medical Systems

Year:

1997

Language:

english

File:

PDF, 1.80 MB

english, 1997

48

Three-dimensional localization of ultracold atoms in an optical disordered potential

Jendrzejewski, F., Bernard, A., Müller, K., Cheinet, P., Josse, V., Piraud, M., Pezzé, L., Sanchez-Palencia, L., Aspect, A., Bouyer, P.

Journal:

Year:

2012

Language:

english

File:

PDF, 1.37 MB

english, 2012

49

Self-Test Components for Highly Reconfigurable Systems

Giovanni Denaro, Leonardo Mariani, Mauro Pezzè

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 214 KB

english, 2003

50

Dynamic Analysis for Diagnosing Integration Faults

Mariani, L., Pastore, F., Pezze, M.

Journal:

IEEE Transactions on Software Engineering

Year:

2011

Language:

english

File:

PDF, 1.90 MB

english, 2011

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски